1. Metamathematical investigation of intuitionistic arithmetic and analysi
پدیدآورنده : / A.S. Troelstra (editor)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Intuitionistic mathematics.,Proof theory.,Model theory.
رده :
QA3
,.
L28
,
no
.,
34